My name is dirty cat, formal name, no.

我叫脏猫，正式的名字，没有。

youdao

This even has a formal name: The Back to Jerusalem Movement.

这个事甚至已经有了正式名称：传回耶路撒冷运动。

youdao

The formal name was determined by the gracious winner of a coin toss.

正式名称视抛硬币猜正反面幸运获胜者而定。

youdao

We got definition, we got name, we got a set of formal parameters.

我们已经进行了定义，我们命了名，我们设置了一些列形参。

麻省理工公开课 - 计算机科学及编程导论课程节选

Their formal name Autodefensas Gaitanistas de Colombia refers to a populist politician murdered in 1948.

ECONOMIST: A crime mob takes on the government

Weighing 320g, the stone has been given the formal name Northwest Africa (NWA) 7034 - but is nicknamed "Black Beauty".

BBC: Mars meteorite 'Black Beauty' is in a class of its own

On the contrary, the Democratic People's Republic of Korea, the formal name of Kim Jong Il's miserable state, increased infiltrations and incursions.

FORBES: Magazine Article